| 翻訳と辞書 |
| Martín Abadi ： ウィキペディア英語版 |
Martín Abadi
Martín Abadi (born 1963)〔http://www.college-de-france.fr/default/EN/all/abadi_en/biography.htm〕 is an Argentinian computer scientist, currently working at the University of California, Santa Cruz and Google. He earned his Ph.D. from Stanford University in 1987 as a student of Zohar Manna.
He is well known for his work on computer security and on programming languages, including his paper (with Michael Burrows and Roger Needham) on the ''Burrows-Abadi-Needham logic'' for analyzing authentication protocols, and his book (with Luca Cardelli) ''A Theory of Objects'', laying out formal calculi for the semantics of object-oriented programming languages.
He is a 2008 Fellow of the Association for Computing Machinery.〔(【引用サイトリンク】title=Martin Abadi )〕 In 2011, he was a temporary professor at the Collège de France in Paris,〔(Decree of the President of the French Republic ), 7 september 2010, appointing Mr Martin Abadi, professor at the University of California, as full-time temporary professor for the 2010-2011 academic year〕 teaching computer security.
== See also ==
*Baby modula-3
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Martín Abadi」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|